Oprogramowania idealne

17 sierpnia 2009, 11:48

Australijska organizacja NICTA ogłosiła powstanie pierwszego w historii jądra systemu operacyjnego, które nie tylko zostało w całości matematycznie opisane, ale również przeprowadzono matematyczne dowody na to, iż każda z linii kodu jest w pełni zgodna ze specyfikacją.



50 prokuratorów rozpoczęło śledztwo przeciwko Google'owi

12 września 2019, 12:41

Prokuratorzy generalni 48 amerykańskich stanów, Dystryktu Kolumbii oraz Puerto Rico dołączyli do śledztwa w sprawie możliwego naruszenia przepisów antymonopolowych przez Google'a, oświadczył lider grupy, Ken Paxton, prokurator generalny stanu Teksas. W śledztwie nie biorą udziału prokuratorzy Kalifornii i Alabamy.


Nowy katalizator dla mikrobiologicznych ogniw paliwowych

22 czerwca 2012, 15:23

Profesorowie Junhong Chen i Zhen He z University of Wisconsin-Milwaukee zidentyfikowali katalizator dla mikrobiologicznych ogniw paliwowych (MFC), który jest równie wydajny jak obecnie używane katalizatory oparte na platynie, a jednocześnie jest 20-krotnie tańszy.


Łazikowi Perseverance nie udało się pobrać próbek z Marsa, które mają trafić na Ziemię

10 sierpnia 2021, 12:41

Łazik Perseverance przesłał na Ziemię dane z pierwszego podejścia do zebrania próbek marsjańskiego gruntu, które w przyszłości mają zostać przywiezione na Ziemię. Z uzyskanych informacji wynika, że do pojemnika nie trafił żaden fragment skały z Marsa.


Pajęczyny pomogą wykryć zanieczyszczenie powietrza

13 kwietnia 2017, 10:51

Czy pajęczych sieci można używać w walce z zanieczyszczeniem powietrza? Takie badania prowadzą naukowcy z Wydziału Inżynierii Środowiska Politechniki Wrocławskiej. Dzięki ich pracy można nie tylko monitorować stan powietrza, lecz także określić rodzaj zanieczyszczeń i ich źródło.


Jak załatać magnetyczną butelkę? Rozwiązano problem, który od 70 lat trapił fuzję jądrową

6 maja 2025, 11:06

Fuzja jądrowa to obietnica czystego, bezpiecznego i praktycznie nieskończonego źródła energii. Badania nad nią trwają od dziesięcioleci i nic nie wskazuje na to, byśmy w najbliższym czasie mogli zastosować ją w praktyce. Naukowcy dokonują powolnych, mniejszych lub większych, kroków na przód w kierunku jej opanowania. Uczeni z University of Texas, Los Alamos National Laboratory i Type One Energy Group rozwiązali właśnie poważny problem, który od 70 lat nękał jeden z rodzajów reaktorów fuzyjnych – stellaratory – spowalniając prace nad nimi. Jego rozwiązanie przyda się również w udoskonaleniu tokamaków, innego – znacznie bardziej popularnego – projektu reaktora fuzyjnego.


Nowy materiał, lepsze ogniwa

2 października 2009, 15:51

Nowy materiał wynaleziony na Georgia Tech może pomóc w rozpowszechnieniu się ogniw paliwowych ze stałym tlenkiem (SOFC). Urządzenia takie są w stanie produkować energię elektryczną z niemal wszystkich płynnych i gazowych substancji.


Rewolucyjny dowód matematyczny doczeka się publikacji po 8 latach analiz

3 kwietnia 2020, 10:53

Przed ośmiu laty ze świata matematyki nadeszła sensacyjna wiadomość – pojawił się dowód na prawdziwość hipotezy ABC. Jeśli jest on prawdziwy, to mamy do czynienia z największym osiągnięciem matematycznym bieżącego wieku. Autor dowodu, Shinichi Mochizuki z Uniwersytetu w Kioto, udostępnił olbrzymią 600-stronicową pracę na ten temat. I musiał czekać aż 8 lat nim ktokolwiek był w stanie ją przeanalizować.


Spintroniczny termometr dla komórek

28 czerwca 2013, 11:24

Komórki organizmów żywych są tak małe, że można by spodziewać się, iż w każdym miejscu komórki panuje taka sama temperatura. Nic bardziej mylnego. Ostatnio odkryto gradient temperatury w ramach komórki. Precyzyjne pomiary były jednak niemożliwe ze względu na ograniczenia technologiczne


Szczepionka Johnson&Johnson przeciwko Eboli bezpieczna i skuteczna

16 września 2021, 10:47

Składająca się z dwóch dawek szczepionka firmy Johnson&Johnson skierowana przeciwko Eboli jest bezpieczna, dobrze tolerowana przez organizm i wywołuje silną odpowiedź immunologiczną u osób powyżej 1. roku życia, czytamy w dwóch artykułach opublikowanych na łamach The Lancet Infectious Diseases. Dobre wieści nadeszły 5 lat po największej epidemii Eboli od czasu zidentyfikowania tej choroby.


Zostań Patronem

Od 2006 roku popularyzujemy naukę. Chcemy się rozwijać i dostarczać naszym Czytelnikom jeszcze więcej atrakcyjnych treści wysokiej jakości. Dlatego postanowiliśmy poprosić o wsparcie. Zostań naszym Patronem i pomóż nam rozwijać KopalnięWiedzy.

Patronite

Patroni KopalniWiedzy